Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
451	Extracted from: Programming Ruby 1.9 The Pragmatic Programmers’ Guide This PDF file contains pages extracted from Programming Ruby 1.9, published by the Pragmatic Bookshelf. For more Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2011-01-31 14:04:12 Pattern matching Formal languages Regular expressions Scripting languages Automata theory Glob String TRE Ruby Computing Software engineering Computer programming
452	Classifying Cellular Automata Automatically Andrew Wuensche SFI WORKING PAPER: Add to Reading List Source URL: www.santafe.edu Language: English State functions Probability and statistics Aeronautics Chaos theory Entropy Attractor Cellular automaton Histogram Glider Thermodynamic entropy Thermodynamics Statistics
453	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-09 03:06:25 Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science
454	Basins of attraction in network dynamics: A conceptual framework for biomolecular networks ∗ Andrew Wuensche Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2002-05-01 15:57:15 Boolean network Logic Cellular automaton Attractor Chaos theory Cellular automata Rule 30 Gene regulatory network Systems science Networks Science Bioinformatics
455	UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in Add to Reading List Source URL: www.foretrade.com Language: English - Date: 2009-09-24 10:00:53 Digital electronics Theoretical computer science UML diagrams Access control Logic Finite-state machine Turnstile State diagram Lock Models of computation Mathematics Automata theory
456	Determinisation of history-deterministic automata 1 1 Denis Kuperberg , Michał Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-04 07:26:19 Büchi automaton Deterministic automaton Parity game Muller automaton Co-Büchi automaton Automata theory Theoretical computer science Computer science
457	Discrete Dynamics Lab: Tools for investigating cellular automata and discrete dynamical networks∗ Andrew Wuensche Discrete Dynamics Inc. 7 Calle Andreita, Santa Fe, NM 87506, USA , www.ddlab.com Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2002-05-12 14:56:52 Logic Attractor Science Chaos theory Structure Cellular automaton Nature Dynamical system Gene regulatory network Networks Bioinformatics Boolean network
458	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
459	D:/Publications/MoSCoE/ecows-2006/ECOWS-2006.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-21 19:42:45 Applied mathematics Finite-state machine Function Phase transition Algorithm Mathematics Models of computation Automata theory
460	Weighted Automata for Proving Termination of String Rewriting Johannes Waldmann Hochschule fu ¨r Technik, Wirtschaft und Kultur (FH) Leipzig Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2006-03-30 05:05:27 Mathematics Computer science Regular language Rewriting String Ω-automaton Formal languages Theoretical computer science Automata theory

UPDATE